set PAIRS := 1..15;
set LINKS := 1..15;
set LINKTYPES; # 1,2 refers to STM-1 and STM-4
set ROUTES := 1..5;

param d {LINKS,ROUTES, PAIRS } binary default 0; 	# Matrix describing wheather a certain
							# Link belongs to a Given ROUTE for a Nodepair
param t {PAIRS} ; 					# Desired Bandwith for a given nodepair

param y {LINKS, LINKTYPES} integer >=0;  #Intact Network obtained by net.mod

param broken in LINKS; #the index of the broken link

var z {PAIRS, ROUTES} integer >=0; # Trafficassignment Matrix

maximize routetTraffic: 
sum {m in PAIRS, r in ROUTES} z[m,r]*(1-d[broken,r,m]);

subject to TrafficDemand {m in PAIRS}: 
sum {r in ROUTES} z[m,r]*(1-d[broken,r,m]) <= t[m] ;

subject to LinkCapacity {l in LINKS}:
sum {m in PAIRS, r in ROUTES} d[l,r,m] * z[m,r] <= 63 * y[l,1] + 252 * y[l,2] ;



